symbolic modeling